Existence theorems for infinite particle systems
نویسندگان
چکیده
منابع مشابه
General Decidability Theorems for Infinite-State Systems
Over the last few years there has been an increasing research eeort directed towards the automatic veriication of innnite state systems. For diierent classes of such systems (e.g., hybrid automata, data-independent systems, relational automata, Petri nets, and lossy channel systems) this research has resulted in numerous highly nontrivial algorithms. As the interest in this area increases, it w...
متن کاملExistence and spatial limit theorems for lattice and continuum particle systems Mathew
We give a general existence result for interacting particle systems with local interactions and bounded jump rates but noncompact state space at each site. We allow for jump events at a site that affect the state of its neighbours. We give a law of large numbers and functional central limit theorem for additive set functions taken over an increasing family of subcubes of Zd. We discuss applicat...
متن کاملExistence and spatial limit theorems for lattice and continuum particle systems
Abstract: We give a general existence result for interacting particle systems with local interactions and bounded jump rates but noncompact state space at each site. We allow for jump events at a site that affect the state of its neighbours. We give a law of large numbers and functional central limit theorem for additive set functions taken over an increasing family of subcubes of Z. We discuss...
متن کاملExistence of an infinite particle limit of stochastic ranking process
We study a stochastic particle system which models the time evolution of the ranking of books by online bookstores (e.g., Amazon). In this system, particles are lined in a queue. Each particle jumps at random jump times to the top of the queue, and otherwise stays in the queue, being pushed toward the tail every time another particle jumps to the top. In an infinite particle limit, the random m...
متن کاملGlobal converse Lyapunov theorems for infinite-dimensional systems
We show that existence of a non-coercive Lyapunov function is sufficient for uniform global asymptotic stability (UGAS) of infinite-dimensional systems with external disturbances provided an additional mild assumption is fulfilled. For UGAS infinite-dimensional systems with external disturbances we derive a novel ’integral’ construction of non-coercive Lipschitz continuous Lyapunov functions. F...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1972
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1972-0309218-7